Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages
نویسندگان
چکیده
A separator for two languages is a third language containing the first one and disjoint from the second one. We investigate the following decision problem: given two regular input languages, decide whether there exists a locally testable (resp. a locally threshold testable) separator. In both cases, we design a decision procedure based on the occurrence of special patterns in automata accepting the input languages. We prove that the problem is computationally harder than deciding membership. The correctness proof of the algorithm yields a stronger result, namely a description of a possible separator. Finally, we discuss the same problem for context-free input languages. 1998 ACM Subject Classification F.1.1 Models of Computation, F.4.3 Formal Languages
منابع مشابه
On Separation by Locally Testable and Locally Threshold Testable Languages
A separator for two languages is a third language containing the first one and disjoint from the second one. We investigate the following decision problem: given two regular input languages, decide whether there exists a locally testable (resp. a locally threshold testable) separator. In both cases, we design a decision procedure based on the occurrence of special patterns in automata accepting...
متن کاملOn Piecewise Testable, Starfree, and Recognizable Picture Languages
We isolate a technique for showing that a picture language (i.e. a \two-dimensional language") is not recognizable. Then we prove the non-recognizability of a picture language that is both starfree (i.e., deenable by means of union, concatenation, and complement) and piece-wise testable (i.e., deenable by means of allowed subpictures), solving an open question in GR96]. We also deene local, loc...
متن کاملLocally Threshold Testable Languages of Infinite Words
The class of nitely locally threshold testable !-languages is proved to be decidable relatively to the class of all regular !-languages. We apply this to the monadic second order theory of innnite word structures with successor function: it is decidable whether for a given monadic second-order formula there exists a rst-order formula with the same set of innnite word models.
متن کاملA new algorithm for testing if a regular language is locally threshold testable
A new algorithm is presented for testing if a regular language is locally threshold testable. The new algorithm is slower than existing algorithms, but its correctness proof is shorter. The proof idea is to restate the problem in Presburger arithmetic. A language L ⊆ A * is called locally threshold testable (LTT) if it is a Boolean combination of languages of the form: a) words that have w ∈ A ...
متن کاملRegular Languages and Associative Language Descriptions
The Associative Language Description model (ALD) is a combination of locally testable and constituent structure ideas. It is consistent with current views on brain organization and can rather conveniently describe typical technical languages such as Pascal or HTML. ALD languages are strictly enclosed in context-free languages but in practice the ALD model equals CF grammars in explanatory adequ...
متن کامل